-
1 представление знаний в виде программ на языке ПРОЛОГ
Information technology: clausal representationУниверсальный русско-английский словарь > представление знаний в виде программ на языке ПРОЛОГ
-
2 представленный в виде программ на языке ПРОЛОГ
Information technology: clausalУниверсальный русско-английский словарь > представленный в виде программ на языке ПРОЛОГ
-
3 утверждение (в языке Пролог)
Information technology: lamentУниверсальный русско-английский словарь > утверждение (в языке Пролог)
-
4 Пролог
1) (славянский церковно-учительский сборник, содержащий краткие жития всех почитаемых правосл. святых по дням года, а тж. рассказы об основных церк. праздниках) the Byzantine calendar, the Greater SynaxarionЕвангельские прологи (прологи на греч. языке к древним Евангелиям от Марка, Луки и Иоанна в Вульгате) — the Old Gospel [Anti-Marcionite] Prologues
2) (в древней Руси - сборник кратких житий, поучений, назидательных повестей, размещённых в порядке церк. календаря) the (early Russian) church calendar -
5 tail of a clause
Вычислительная техника: хвост (хорновской) формулы (в языке ПРОЛОГ), хвост хорновской формулы (в языке ПРОЛОГ) -
6 clausal representation
Большой англо-русский и русско-английский словарь > clausal representation
-
7 tail of a clause
Большой англо-русский и русско-английский словарь > tail of a clause
-
8 clausal
1) Общая лексика: клаузула (договорного документа)2) Логика: клаузальный, использующий логические операторы, логический, определяемый с помощью логических операторов, представленный с помощью логических операторов, представленный с помощью логических выражений3) Вычислительная техника: представленный в виде программ на языке ПРОЛОГ -
9 clausal representation
Вычислительная техника: представление знаний в виде программ на языке ПРОЛОГ, представление знаний логическими выражениямиУниверсальный англо-русский словарь > clausal representation
-
10 lament
[lə'ment]1) Общая лексика: ахать, вопить, горевать, горестное стенание, горькие жалобы, горько жаловаться, жалоба, жалобная песнь, жалобы, жаловаться, ныть, оплакать, оплакивать, оплакивать жаловаться, плакать, плач, погребальная песнь, похоронная песнь, рыдания, сетование, сетовать, сокрушаться, стенание, стенания, стенать, элегия, похоронная песнь (часто исполняемая на волынке; тж. funeral lament), посетовать, сожаление2) Компьютерная техника: утверждение3) Религия: похоронная песнь, исполняемая на волынке4) Вычислительная техника: утверждение (в языке Пролог)5) Нефть: глубоко переживать, сожалеть6) Макаров: предложение7) Христианство: скорбеть -
11 resolution principle
1) Компьютерная техника: принцип резолюций2) Вычислительная техника: принцип резолюций (в языке Пролог) -
12 shared variables
1) Компьютерная техника: сцепленная переменная2) Техника: совместно используемые переменные3) Вычислительная техника: сцепленные переменные (в языке Пролог) -
13 unification
[ˌjuːnɪfɪ'keɪʃ(ə)n]1) Общая лексика: объединение2) Военный термин: стандартизация3) Техника: отождествление4) Математика: единение, слитность, унификация5) Юридический термин: создание единообразия6) Лингвистика: унификация языковых форм7) Архитектура: объединение (действие)8) Вычислительная техника: операция унификации (в языке ПРОЛОГ) -
14 unify
['juːnɪfaɪ]1) Общая лексика: сплотить, объединять, унифицировать2) Компьютерная техника: отождествлять4) Лесоводство: выравнивать, делать однородным (по цвету)5) Психология: сплачивать6) Вычислительная техника: выполнять операцию унификации (в языке ПРОЛОГ)7) Макаров: смыкать, выравнивать (по цвету) -
15 выполнять операцию унификации
Information technology: unify (в языке ПРОЛОГ)Универсальный русско-английский словарь > выполнять операцию унификации
-
16 голова хорновской формулы
Information technology: head (в языке ПРОЛОГ)Универсальный русско-английский словарь > голова хорновской формулы
-
17 левая часть хорновской формулы
Information technology: head (в языке ПРОЛОГ)Универсальный русско-английский словарь > левая часть хорновской формулы
-
18 операция унификации
Information technology: unification (в языке ПРОЛОГ)Универсальный русско-английский словарь > операция унификации
-
19 отсечение
1) General subject: cutting off2) Computers: cut3) Medicine: ablation, abscission, amputation, dissecting away, divulsion4) Military: separation, severance5) Engineering: clipping, dump (парогенератора), windowing (в машинной графике)6) Mathematics: truncation7) Automobile industry: blocking off8) Surgery: excision9) Information technology: clipping (Механизм, запрещающий отображение графического изображения вне установленных границ), cut (в языке ПРОЛОГ), pruning (ветвей в дереве поиска или перебора), scissoring (части графического изображения)10) Oil: scissoring11) Business: cutoff12) Automation: clipping (напр. части информации)13) Robots: pruning (ветвей в дереве поиска)14) Oceanography: thresh -
20 принцип резолюций
1) Computers: resolution principle2) Information technology: resolution principle (в языке Пролог)
См. также в других словарях:
Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P … Википедия
ПРОЛОГ — (греч., от pro прежде, вперед, и logos слово). 1) введение, предисловие, вступление к сочинению, особенно драматическому. 2) в древнегреческих театрах обращение хора к публики перед началом комедии. 3) церковная книга, содержащая краткие слова на … Словарь иностранных слов русского языка
База знаний — (БЗ; англ. knowledge base, KB) в информатике и исследованиях искусственного интеллекта это особого рода база данных, разработанная для оперирования знаниями (метаданными). База знаний содержит структурированную информацию, покрывающую… … Википедия
Искусственный интеллект — Запрос «ИИ» перенаправляется сюда; см. также другие значения. Искусственный интеллект (ИИ, англ. Artificial intelligence, AI) наука и технология создания интеллектуальных машин, особенно интеллектуальных компьютерных программ. ИИ… … Википедия
ИИ — Искусственный интеллект (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом… … Википедия
Искусственный Интеллект — (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом используемые методы не обязаны… … Википедия
Подходы к пониманию проблемы искусственного интеллекта — Искусственный интеллект (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом… … Википедия
Метапрограммирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Экспертная система — (ЭС, англ. expert system) компьютерная система, способная частично заменить специалиста эксперта в разрешении проблемной ситуации. Современные ЭС начали разрабатываться исследователями искусственного интеллекта в 1970 х годах, а в 1980 … Википедия
Экспертные системы — Экспертная система (ЭС, expert system) компьютерная программа, способная заменить специалиста эксперта в разрешении проблемной ситуации. ЭС начали разрабатываться исследователями искусственного интеллекта в 1970 х годах, а в 1980 х получили… … Википедия
Присваивание — Присваивание механизм в программировании, позволяющий динамически изменять связи объектов данных (как правило, переменных) с их значениями. Строго говоря, изменение значений является побочным эффектом операции присвоения, и во многих… … Википедия